| Name | Version | Summary | date |
|---|---|---|---|
| mastapy | 15.0.0.post1 | Python scripting API for MASTA. | 2025-07-29 14:29:26 |
| python-constraint2 | 2.4.0 | python-constraint is a module for efficiently solving CSPs (Constraint Solving Problems) over finite domains. | 2025-07-23 09:41:48 |
| z3-solver | 4.13.3.0 | an efficient SMT solver library | 2024-10-10 23:42:06 |
| hour | day | week | total |
|---|---|---|---|
| 68 | 1576 | 10517 | 305853 |